فنڈ ریزنگ 15 ستمبر، 2024 – 1 اکتوبر، 2024 فنڈ ریزنگ کے بارے میں
1
Debugging at the Electronic System Level

Debugging at the Electronic System Level

Frank Rogin, Rolf Drechsler (auth.)
سال:
2010
زبان:
english
فائل:
PDF, 2.72 MB
0 / 0
english, 2010
2
Computer: Wie funktionieren Smartphone, Tablet & Co.?

Computer: Wie funktionieren Smartphone, Tablet & Co.?

Rolf Drechsler, Andrea Fink, Jannis Stoppe (auth.)
سال:
2017
زبان:
german
فائل:
PDF, 2.44 MB
0 / 5.0
german, 2017
3
Test pattern generation using Boolean proof engines

Test pattern generation using Boolean proof engines

Rolf Drechsler, Stephan Eggersglüβ, Görschwin Fey, Daniel Tille (auth.)
سال:
2009
زبان:
english
فائل:
PDF, 6.22 MB
0 / 0
english, 2009
4
Evolutionary Algorithms for Embedded System Design

Evolutionary Algorithms for Embedded System Design

Joachim Wegener (auth.), Rolf Drechsler, Nicole Drechsler (eds.)
سال:
2003
زبان:
english
فائل:
PDF, 14.21 MB
0 / 0
english, 2003
11
Reversible and Quantum Circuits: Optimization and Complexity Analysis

Reversible and Quantum Circuits: Optimization and Complexity Analysis

Nabila Abdessaied, Rolf Drechsler (auth.)
سال:
2016
زبان:
english
فائل:
PDF, 5.99 MB
0 / 0
english, 2016
12
Formal Specification Level: Concepts, Methods, and Algorithms

Formal Specification Level: Concepts, Methods, and Algorithms

Mathias Soeken, Rolf Drechsler (auth.)
سال:
2015
زبان:
english
فائل:
PDF, 7.24 MB
0 / 0
english, 2015
13
Quality-Driven SystemC Design

Quality-Driven SystemC Design

Daniel Große, Rolf Drechsler (auth.)
سال:
2010
زبان:
english
فائل:
PDF, 2.70 MB
0 / 0
english, 2010
14
Evolutionary Algorithms for VLSI CAD

Evolutionary Algorithms for VLSI CAD

Rolf Drechsler (auth.)
سال:
1998
زبان:
english
فائل:
PDF, 4.85 MB
0 / 0
english, 1998
15
High Quality Test Pattern Generation and Boolean Satisfiability

High Quality Test Pattern Generation and Boolean Satisfiability

Stephan Eggersglüß, Rolf Drechsler (auth.)
سال:
2012
زبان:
english
فائل:
PDF, 1.51 MB
0 / 0
english, 2012
16
Formal Verification of Circuits

Formal Verification of Circuits

Rolf Drechsler (auth.)
سال:
2000
زبان:
english
فائل:
PDF, 12.73 MB
0 / 0
english, 2000
17
Binary Decision Diagrams: Theory and Implementation

Binary Decision Diagrams: Theory and Implementation

Rolf Drechsler, Bernd Becker (auth.)
سال:
1998
زبان:
english
فائل:
PDF, 7.56 MB
0 / 0
english, 1998
18
Towards a Design Flow for Reversible Logic

Towards a Design Flow for Reversible Logic

Robert Wille, Rolf Drechsler (auth.)
سال:
2010
زبان:
english
فائل:
PDF, 3.49 MB
0 / 0
english, 2010
21
Quality-Driven SystemC Design

Quality-Driven SystemC Design

Daniel Große, Rolf Drechsler (auth.)
سال:
2010
زبان:
english
فائل:
PDF, 3.25 MB
0 / 0
english, 2010
22
Spectral Techniques in VLSI CAD

Spectral Techniques in VLSI CAD

Mitchell Aaron Thornton, Rolf Drechsler, D. Michael Miller (auth.)
سال:
2001
زبان:
english
فائل:
PDF, 9.48 MB
0 / 0
english, 2001
27
Test Pattern Generation using Boolean Proof Engines

Test Pattern Generation using Boolean Proof Engines

Rolf Drechsler, Stephan Eggersglüβ, Görschwin Fey, Daniel Tille (auth.)
سال:
2009
زبان:
english
فائل:
PDF, 4.80 MB
0 / 0
english, 2009
29
Towards One-Pass Synthesis

Towards One-Pass Synthesis

Rolf Drechsler, Wolfgang Günther (auth.)
سال:
2002
زبان:
english
فائل:
PDF, 6.34 MB
0 / 0
english, 2002
30
Towards One-Pass Synthesis

Towards One-Pass Synthesis

Rolf Drechsler, Wolfgang Günther (auth.)
سال:
2002
زبان:
english
فائل:
PDF, 4.92 MB
0 / 0
english, 2002